Quotients of buildings by groups acting freely on chambers

We introduce certain directed multigraphs with extra structure, called Weyl graphs, which model quotients of Tits buildings by type-preserving chamber-free group actions. Their advantage over complexes groups, are often used for the CAT(0) Davis realization buildings, is that graphs exploit ultimate combinatorial W-metric structure buildings. generalize Tits's chamber systems type M allowing rank two residues to be generalized polygons flag-free actions, and easily constructed amalgamating such quotients. develop covering theory can construct as universal covers. describe a method obtaining presentation fundamental graph, acts chamber-freely on building. The developed here part fully general deals not necessarily actions stacky version